Real-Time Implementation of Non-Linear Physical Models with Modal Synthesis and Performance Analysis

Modal decomposition is a popular analysis approach involving the description of a target system via a bank of resonant oscillators called modes. Early sound synthesis frameworks successfully exploited this idea for the simulation of vibrating objects such as bars, plates and strings. While popular, modal synthesis is often applied to linear systems, since the modes become densely coupled in systems presenting distributed or multiple nonlinearities. In this work, the modal approach is used for the simulation of nonlinearly connected systems. When the nonlinearity is of cubic type, a suitable energy-stable modal update can be derived requiring the solution of a single linear system at each time step. A working plugin written in the C++ programming language is presented. Moreover, the performance of the plugin is analysed considering systems of different dimensions, defining the current limits for a real-time application of these models. The analysis also revealed a linear correlation between the number of modes which compose the systems and the CPU usage necessary for their real-time computation

On the Deployment of IoT Systems: An Industrial Survey

Internet of Things (IoT) systems are complex and multifaceted, and the design of their architectures needs to consider many aspects at a time. Design decisions concern, for instance, the modeling of software components and their interconnections, as well as where to deploy the components within the available hardware infrastructure in the Edge-Cloud continuum. A relevant and challenging task, in this context, is to identify optimal deployment models due to all the different aspects involved, such as extra-functional requirements of the system, heterogeneity of the hardware resources concerning their processing and storage capabilities, and constraints like legal issues and operational cost limits. To gain insights about the deployment decisions concerning IoT systems in practice, and the factors that influence those decisions, we report about an industrial survey we conducted with 66 IoT architects from 18 countries across the world. Each participant filled in a questionnaire that comprises 15 questions. By analyzing the collected data, we have two main findings: (i) architects rely on the Cloud more than the Edge for deploying the software components of IoT systems, in the majority of the IoT application domains; and (ii) the main factors driving deployment decisions are four: reliability, performance, security, and cost

What Malaysian Software Students Think about Testing?

Software testing is one of the crucial supporting processes of software life cycle. Unfortunately for the software industry, the role is stigmatized, partly due to misperception and partly due to treatment of the role in the software industry. The present study aims to analyse this situation to explore what inhibit an individual from taking up a software testing career. In order to investigate this issue, we surveyed 82 senior students taking a degree in information technology, information and communication technology, and computer science at two Malaysian universities. The subjects were asked the PROs and CONs of taking up a career in software testing and what were the chances that they would do so. The study identified 7 main PROs and 9 main CONSs for starting a testing career, and indicated that the role of software tester has been perceived as a social role, with more soft skills connotations than technical implications. The results also show that Malaysian students have a more positive attitude towards software testing than their counterparts where similar investigations have been carried out

A Foundational View on Integration Problems

The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the scenario where we have two systems that we integrate by moving problems and solutions between them. While this scenario is often approached from an engineering perspective, we take a foundational view. Based on the generic declarative language MMT, we develop a theoretical framework for system integration using theories and partial theory morphisms. Because MMT permits representations of the meta-logical foundations themselves, this includes integration across logics. We discuss safe and unsafe integration schemes and devise a general form of safe integration

Monitoraggio di un gruppo di cervi (Cervus elaphus L.) marcati: uso del territorio in un areale alpino

Al fine di acquisire informazioni sull'uso del territorio in ambiente alpino da parte di cervi selvatici e di cervi allevati in recinto e reintrodotti nell'ambiente naturale, sono stati analizzati gli avvistamenti di 10 cervi marcati in Val Fontana (Provincia di Sondrio). Le dimensioni dello spazio minimo occupato dalle femmine sono risultate mediamente di 358 ettari (comprese tra 28 e 875 ettari). Non si sono evidenziati veri e propri comportamenti migratori stagionali, anche se una cerva si \uc3\ua8 spostata temporaneamente in Val Malenco ed \uc3\ua8 poi riapparsa in Val Fontana. I territori invernali rappresentano una frazione pi\uc3\ub9 piccola di quelli estivi, e sono localizzati a quote generalmente inferiori. La cerva allevata in recinto si \uc3\ua8 rivelata inadatta a rappresentare il comportamento tipico della sua specie, sia dal punto di vista spaziale che sociale

Tree loop graphs

Many problems involving DNA can be modeled by families of intervals. However, traditional interval graphs do not take into account the repeat structure of a DNA molecule. In the simplest case, one repeat with two copies, the underlying line can be seen as folded into a loop. We propose a new definition that respects repeats and define loop graphs as the intersection graphs of arcs of a loop. The class of loop graphs contains the class of interval graphs and the class of circular-arc graphs. Every loop graph has interval number 2. We characterize the trees that are loop graphs. The characterization yields a polynomial-time algorithm which given a tree decides whether it is a loop graph and, in the affirmative case, produces a loop representation for the tree.Facultad de Ciencias Exacta